翻訳と辞書
Words near each other
・ Compsocerus bicoloricornis
・ Compsocerus chevrolati
・ Compsocerus deceptor
・ Compsocerus parviscopus
・ Compsocerus proximus
・ Compression Networks
・ Compression of Genomic Re-Sequencing Data
・ Compression of morbidity
・ Compression ratio
・ Compression release
・ Compression release engine brake
・ Compression seal fitting
・ Compression set
・ Compression stockings
・ Compression Systems
Compression theorem
・ Compression therapy
・ Compression virus
・ Compressive strength
・ Compressor
・ Compressor (software)
・ Compressor characteristic
・ Compressor map
・ Compressor stall
・ Compressor station
・ Compressor Station Number 10 STOLport
・ Compressorhead
・ Comprido River (São Paulo)
・ Comprimario
・ Comprise


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Compression theorem : ウィキペディア英語版
Compression theorem
In computational complexity theory the compression theorem is an important theorem about the complexity of computable functions.
The theorem states that there exists no largest complexity class, with computable boundary, which contains all computable functions.
==Compression theorem==
Given a Gödel numbering \varphi of the computable functions and a Blum complexity measure \Phi where a complexity class for a boundary function f is defined as
:\mathrm(f):= \ | (\forall^\infty x) \, \Phi_i (x) \leq f(x) \}.
Then there exists a total computable function f so that for all i
:\mathrm(\varphi_i) = \mathrm(\varphi_)
and
:\mathrm(\varphi_i) \subsetneq \mathrm(\varphi_).

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Compression theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.